int main(int argc, char **argv) {
	int i;
	int j;
	i = 42;
	return 0;
}
